Andreas Podelski (eds.): tìm kiếm trên Z-Library

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

Truy cập tự do vào tri thức và văn hóa.

Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024

Z-Library là một trong những thư viện trực tuyến lớn nhất trên thế giới bào gồm thêm 17,000,000 sách và 84,837,000 báo. Chúng tôi hướng tới việc tạo khả năng tiếp cận văn hóa cho mọi người. Hôm nay (15 tháng 9 2024) chúng tôi bắt đầu tăng quỹ để duy trì và phát triển dự án.

Cũng tải về KHÔNG GIỚI HẠN (trong 31 ngày sau khi quyển góp) cho TẤT CẢ người dùng quyên góp trong giai đoạn tăng quỹ 1 tháng 10 2024.

Về việc thu tiềnChi tiết

Các bộ lọc được sử dun

Tìm chính xác từ

Tìm chính xác từ

Sách (14)
Phổ biến
- Sắp xếp theo×
- Phổ biến
- Phù hợp nhất
- Đangđược bổ sung
- Theo tên (A-Z)
- Theo tên (Z-A)
- Theo năm
- Kích thước file ↓
- Kích thước file ↑
Danh sách
- Danh sách
- Bảng

1

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Mark Wallace (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 9.96 MB

0 / 0

english, 2004

2

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 6.53 MB

0 / 0

english, 2004

3

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 11.05 MB

0 / 0

english, 2004

4

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)

Năm:

2007

Ngôn ngữ:

english

File:

PDF, 4.02 MB

0 / 0

english, 2007

5

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Hassan Aït-Kaci, Andreas Podelski (auth.), Andrei Voronkov (eds.)

Năm:

1993

Ngôn ngữ:

english

File:

DJVU, 4.02 MB

0 / 0

english, 1993

6

Constraint Processing: Selected Papers

Constraint Processing: Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)

Năm:

1995

Ngôn ngữ:

english

File:

PDF, 14.27 MB

0 / 0

english, 1995

7

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 5.95 MB

0 / 0

english, 2012

8

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Mark Wallace (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 29.42 MB

0 / 0

english, 2004

9

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Mark Wallace (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 8.55 MB

0 / 0

english, 2004

10

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

Năm:

2012

Ngôn ngữ:

english

File:

PDF, 3.90 MB

0 / 0

english, 2012

11

Constraint Processing: Selected Papers

Constraint Processing: Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Podelski, Peter Van Roy (auth.), Manfred Meyer (eds.)

Năm:

1995

Ngôn ngữ:

english

File:

DJVU, 2.32 MB

0 / 0

english, 1995

12

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 2.51 MB

0 / 0

english, 2003

13

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Procee

Springer-Verlag Berlin Heidelberg

Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur (auth.), Kurt Jensen, Andreas Podelski (eds.)

Năm:

2004

Ngôn ngữ:

english

File:

PDF, 11.79 MB

0 / 0

english, 2004

14

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Podelski (auth.), Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)

Năm:

2003

Ngôn ngữ:

english

File:

PDF, 22.12 MB

0 / 0

english, 2003